Structured derivations: a unified proof style for teaching mathematics
نویسندگان
چکیده
منابع مشابه
Structured Derivations as a Unified Proof Style for Teaching Mathematics
Structured derivations were introduced by Back and von Wright as an extension of the calculational proof style originally proposed by E.W. Dijkstra and his colleagues. Structured derivations added nested subderivations and inherited assumptions to the original calculational style. This paper introduces a further extension of the structured derivation format, and gives a precise syntax and seman...
متن کاملStructured Derivations: a Method for Doing High-School Mathematics Carefully
We show how solutions to typical problems of High School and rst-year University Mathematics can be written using structured derivations. Such a derivation extends the calculational proof format with subderivations that allow inferences to presented at di erent levels of detail. They also constitute a new paradigm where the whole solution process is viewed as an object that can be discussed and...
متن کاملLakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
The simulation of mathematical reasoning has been a driving force throughout the history of Artificial Intelligence research. However, despite significant successes in computer mathematics, computers are not widely used by mathematicians apart from their quotidian applications. An oft-cited reason for this is that current computational systems cannot do mathematics in the way that humans do. We...
متن کاملA Structured Wikipedia for Mathematics
In this paper, we propose a new idea for developing a collaborative online system for storing mathematical work similar to Wikipedia, but much more suitable for storing mathematical results and concepts. The main idea proposed in this paper is to design a system that would allow users to store mathematics in a structured manner, which would make related work easier to find. The proposed system ...
متن کاملA Unified Language for Mathematics and Physics
To cope with the explosion of information in mathematics and physics, we need a unified mathematical language to integrate ideas and results from diverse fields. Clifford Algebra provides the key to a unifled Geometric Calculus for expressing, developing, integrating and applying the large body of geometrical ideas running through mathematics and physics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2009
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-009-0136-5